Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
921	Definitions and Their Role in Scientific Classification Corinne L. Bloch The Cohn Institute for the History and Philosophy of Science and Ideas Tel Aviv University Abstract As a result of the criticism of the classical t Add to Reading List Source URL: www.bristol.ac.uk Language: English - Date: 2007-10-11 04:17:04 Philosophy of science Philosophy of language Semantics Definition Philosophical logic Epistemology Concept Causality Scientific theory Science Linguistics Philosophy
922	C:/temp/oopsla11/oopsla044-tripp.dvi Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2012-02-08 02:18:46 Dependence analysis Structure Mathematics Mathematical logic Symbol Parallel computing Abstract data type
923	Entitlements, good and bad Nikolaj Jang Linding Pedersen Abstract Crispin Wright has recently introduced a non-evidential notion of warrant, entitlement of cognitive project, as a promising response to certain sceptical Add to Reading List Source URL: www.nikolajpedersen.com Language: English - Date: 2010-02-17 05:10:56 Justification Philosophical movements Critical thinking Metatheory Theory of justification Presupposition A priori and a posteriori Proposition Philosophical skepticism Philosophy Epistemology Logic
924	Igal Kvart Rational Assertibility, the Steering Role of Knowledge, and Pragmatic Encroachment ABSTRACT In this paper, I lay out an account of the pragmatics of Knowledge, and use it to argue against pragmatic encroachmen Add to Reading List Source URL: philosophy.ucsd.edu Language: English - Date: 2012-10-19 14:22:53 Charles Sanders Peirce Theories of truth Philosophical logic Contextualism Relativism Intuition Pragmatism Pragmatics Truth Philosophy Epistemology Knowledge
925	Illusions of Gunk J.R.G.Williams∗ (July 14, 2006) Abstract The possibility of gunk has been used to argue against mereological nihilism. This Add to Reading List Source URL: www.personal.leeds.ac.uk Language: English - Date: 2006-07-14 11:44:06 Logic Materialism Nihilism Philosophy of science Mereological nihilism Gunk Simple Peter van Inwagen Śūnyatā Philosophy Mereology Metaphysics
926	Intrinsic Properties and Natural Kinds. Svein Anders Noer Lie, phd-stud. University of Tromsoe (Norway), and visiting scholar at University of Nottingham. Preliminary draft Abstract: By putting forward an argument for a Add to Reading List Source URL: www.bristol.ac.uk Language: English - Date: 2007-09-30 16:33:58 Modal logic Philosophy of science Essentialism Property Causality Potentiality and actuality Philosophy Metaphysics Stephen Mumford
927	Notes on Continuous First-Order Logic Gregory Wheeler CENTRIA Center for Artificial Intelligence Universidade Nova de Lisboa Abstract Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2009-09-27 08:27:12 Separation axioms Metric geometry Hausdorff space Uniform space Metric space Closed set Connected space Compact space Continuous function Topology General topology Topological spaces
928	An Illative Lambda-Calculus Roger Bishop Jones Abstract This is an approach to illative lambda-calculi via construction of an infinitary calculus in a well-founded set theory. Add to Reading List Source URL: www.rbjones.com Language: English - Date: 2012-09-28 15:44:05 Lambda calculus Combinatory logic Logic in computer science Infinitary logic Model theory Free variables and bound variables Finitary Fixed-point combinator Simply typed lambda calculus Mathematical logic Theoretical computer science Logic
929	A variant of the double-negation translation∗ Jeremy Avigad August 21, 2006 Abstract An efficient variant of the double-negation translation explains the Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2006-10-02 14:57:52 Model theory Formal languages Semantics Proof theory Dialectica interpretation Interpretation Intuitionistic logic First-order logic Well-formed formula Logic Mathematical logic Intuitionism
930	Aristotle’s Logic and Metaphysics Roger Bishop Jones Abstract Formalisation in higher order logic of parts of Aristotle’s logic and metaphysics. Add to Reading List Source URL: www.rbjones.com Language: English - Date: 2012-09-28 15:44:05 Philosophy of mathematics Ontology Branches of philosophy Traditional logic Philosophical logic Syllogism Aristotle Metaphysics Physics Philosophy Logic Science

UPDATE